Jonathan Bowen: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (39)
Più popolari
Lista
- Lista
- Tabella

1

The Turing Guide

The Turing Guide

Oxford University Press

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing

Anno:

2017

Lingua:

english

File:

PDF, 6.33 MB

5.0 / 5.0

english, 2017

2

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

Anno:

2017

Lingua:

english

File:

PDF, 22.14 MB

0 / 0

english, 2017

3

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner [Harris f.c]

Anno:

2012

Lingua:

english

File:

EPUB, 580 KB

0 / 0

english, 2012

4

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

Anno:

2017

Lingua:

english

File:

PDF, 7.45 MB

5.0 / 5.0

english, 2017

5

The Arts and Computational Culture: Real and Virtual Worlds

The Arts and Computational Culture: Real and Virtual Worlds

Tula Giannini, Jonathan P. Bowen

Anno:

2024

Lingua:

english

File:

PDF, 41.38 MB

0 / 5.0

english, 2024

6

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

Anno:

2004

Lingua:

english

File:

PDF, 1.33 MB

0 / 0

english, 2004

7

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Anno:

2018

Lingua:

english

File:

PDF, 10.08 MB

0 / 0

english, 2018

8

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Anno:

2019

Lingua:

english

File:

PDF, 14.21 MB

0 / 0

english, 2019

9

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

Anno:

1999

Lingua:

english

File:

PDF, 17.04 MB

0 / 0

english, 1999

10

Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

Intl Thomson Computer Pr (Sd)

Anno:

1996

Lingua:

english

File:

PDF, 700 KB

0 / 0

english, 1996

11

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Anno:

2020

Lingua:

english

File:

PDF, 8.71 MB

0 / 0

english, 2020

12

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

Anno:

2004

Lingua:

english

File:

PDF, 1.18 MB

0 / 0

english, 2004

13

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 6.03 MB

0 / 0

english, 2017

14

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 4.05 MB

0 / 0

english, 2008

15

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 8.13 MB

0 / 0

english, 2008

16

Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

Manchester University Press

Purkis, Jonathan(Editor), Bowen, James(Editor), Heckert, Jamie Vishwam(Contributor)

Anno:

2005

Lingua:

english

File:

PDF, 1.01 MB

0 / 0

english, 2005

17

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

Anno:

1994

Lingua:

english

File:

PDF, 5.06 MB

0 / 0

english, 1994

18

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

Anno:

1999

Lingua:

english

File:

DJVU, 3.63 MB

0 / 0

english, 1999

19

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 5.56 MB

0 / 0

english, 2008

20

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner

Anno:

2012

Lingua:

english

File:

FB2 , 720 KB

0 / 0

english, 2012

21

轮滚动的世界

轮滚动的世界

北京：中国少年儿童出版社

（美）威尔弗雷德·欧文（Wilfred Owen），（美）埃兹拉·鲍恩（Ezra Bowen）著；许延辉译, (美)乔纳森·诺顿·雷纳德(Jonathan Norton Leonard)著, 朱牧仁译, Jonathan Norton Leonard, 雷纳德, 朱牧仁, (美)威尔弗雷德·欧文(Wilfred Owen), (美)埃兹拉·鲍恩(Ezra Bowen)著, 许延辉译, 欧文, 鲍恩, 许延辉, (美)拉尔夫·E.莱普(Ralph E. Lapp)著, 邱明义, 黄钦沅译

Anno:

1999

Lingua:

Chinese

File:

PDF, 63.96 MB

0 / 0

Chinese, 1999

22

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

Anno:

2019

Lingua:

english

File:

PDF, 27.92 MB

0 / 0

english, 2019

23

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 3.23 MB

0 / 5.0

english, 2010

24

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 9.66 MB

0 / 0

english, 2013

25

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

Anno:

2013

Lingua:

english

File:

PDF, 10.23 MB

0 / 5.0

english, 2013

26

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 9.41 MB

0 / 0

english, 2017

27

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 12.27 MB

0 / 0

english, 2017

28

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 3.54 MB

0 / 0

english, 2002

29

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 14.94 MB

0 / 0

english, 2001

30

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 10.95 MB

0 / 0

english, 1998

31

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

Anno:

1995

Lingua:

english

File:

DJVU, 5.90 MB

0 / 0

english, 1995

32

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 3.04 MB

0 / 0

english, 2010

33

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 4.83 MB

0 / 0

english, 2008

34

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 41.80 MB

0 / 0

english, 1999

35

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 4.31 MB

0 / 0

english, 2003

36

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

Anno:

2013

Lingua:

english

File:

EPUB, 6.74 MB

0 / 0

english, 2013

37

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Anno:

1997

Lingua:

english

File:

DJVU, 3.78 MB

0 / 0

english, 1997

38

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Anno:

2018

Lingua:

english

File:

PDF, 3.29 MB

0 / 0

english, 2018

39

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 7.30 MB

0 / 0

english, 2008